Ralph-Johan Back (auth.): искать на сайте Z-Library

Сбор средств 15 Сентября 2024 – 1 Октября 2024 О сборе средств

Свободный доступ к знаниям и культуре.

Сбор средств 15 Сентября 2024 – 1 Октября 2024

Z-Library - одна из крупнейших онлайн-библиотек в мире, в которой хранится более 17,000,000 книг и 84,837,000 статей. Мы стремимся сделать литературу доступной каждому. Сегодня (15 Сентября 2024) мы открываем дополнительный сбор пожертвований на поддержку и развитие проекта.

Также, БЕЗЛИМИТНЫЕ скачивания (в течение 31 дня после дня совершения пожертвования) доступны для ВСЕХ пользователей, которые поддержат проект в период сбора средств до 1 Октября 2024.

О сборе средствПодробнее

Поддержать

Применены фильтры

Точное соответствие

Точное соответствие

Книги (10)
Самые популярные
Список
- Список
- Таблица

1

Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21–25, 2002 Proceedings

Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21–25, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Ralph-Johan Back (auth.), Chris George, Huaikou Miao (eds.)

Год:

2002

Язык:

english

Файл:

PDF, 5.96 MB

0 / 0

english, 2002

2

Petri Nets and Other Models of Concurrency - ICATPN 2006: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings

Petri Nets and Other Models of Concurrency - ICATPN 2006: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Ralph-Johan Back (auth.), Susanna Donatelli, P. S. Thiagarajan (eds.)

Год:

2006

Язык:

english

Файл:

PDF, 5.83 MB

0 / 0

english, 2006

3

Transactions on Computational Systems Biology XI

Transactions on Computational Systems Biology XI

Springer Berlin Heidelberg

Muffy Calder, Jane Hillston (auth.), Corrado Priami, Ralph-Johan Back, Ion Petre (eds.)

Год:

2009

Язык:

english

Файл:

PDF, 4.48 MB

0 / 0

english, 2009

4

Transactions on Computational Systems Biology XIII

Transactions on Computational Systems Biology XIII

Springer-Verlag Berlin Heidelberg

Antti Häkkinen, Fred G. Biddle (auth.), Corrado Priami, Ralph-Johan Back, Ion Petre, Erik de Vink (eds.)

Год:

2011

Язык:

english

Файл:

PDF, 3.27 MB

0 / 0

english, 2011

5

Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings

Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Ralph-Johan Back (auth.), Michael Johnson, Varmo Vene (eds.)

Год:

2006

Язык:

english

Файл:

PDF, 4.02 MB

0 / 0

english, 2006

6

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Springer Netherlands

Ralph-Johan Back (auth.), Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare (eds.)

Год:

2005

Язык:

english

Файл:

PDF, 6.11 MB

0 / 0

english, 2005

7

Transactions on Computational Systems Biology XI

Transactions on Computational Systems Biology XI

Springer Berlin Heidelberg

Muffy Calder, Jane Hillston (auth.), Corrado Priami, Ralph-Johan Back, Ion Petre (eds.)

Год:

2009

Язык:

english

Файл:

PDF, 4.62 MB

0 / 0

english, 2009

8

Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Ralph-Johan Back (auth.), Andrew Butterfield (eds.)

Год:

2010

Язык:

english

Файл:

PDF, 2.49 MB

0 / 0

english, 2010

9

Transactions on computational systems biology XIII

Transactions on computational systems biology XIII

Springer-Verlag Berlin Heidelberg

Antti Häkkinen, Fred G. Biddle (auth.), Corrado Priami, Ralph-Johan Back, Ion Petre, Erik de Vink (eds.)

Год:

2011

Язык:

english

Файл:

PDF, 3.25 MB

0 / 0

english, 2011

10

Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Ralph-Johan Back (auth.), Andrew Butterfield (eds.)

Год:

2010

Язык:

english

Файл:

PDF, 2.59 MB

0 / 0

english, 2010